大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 NATO Advanced Research Workshop on Numerical Integration: Recent Developments 的图书(共6955本)

Agent-Oriented Software Engineering XI [electronic resource] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers

0
索取号：
作者：Weyns、 Danny.、Gleizes、 Marie-Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Public Key Infrastructures, Services and Applications [electronic resource] : 7th European Workshop, EuroPKI 2010, Athens, Greece, September 23-24, 2010. Revised Selected Papers

0
索取号：
作者：Camenisch、 Jan.、Lambrinoudakis、 Costas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Descriptional Complexity of Formal Systems [electronic resource] : 13th International Workshop, DCFS 2011, Gie脽en/Limburg, Germany, July 25-27, 2011. Proceedings

0
索取号：
作者：Holzer、 Markus.、Kutrib、 Martin.、Pighizzini、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Functional and Constraint Logic Programming [electronic resource] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

0
索取号：
作者：Kuchen、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Optical Supercomputing [electronic resource] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers

0
索取号：
作者：Dolev、 Shlomi.、Oltean、 Mihai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Security and Trust Management [electronic resource] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

0
索取号：
作者：Cuellar、 Jorge.、Lopez、 Javier.、Barthe、 Gilles.、Pretschner、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Collaborative Agents - Research and Development [electronic resource] : International Workshops, CARE@AI09 2009 / CARE@IAT10 2010, Melbourne Australia, December 1, 2009 and Toronto Canada, August 31, 2010, Revised Selected Papers

0
索取号：
作者：Guttmann、 Christian.、Dignum、 Frank.、Georgeff、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

0
索取号：
作者：Leite、 Jo茫o.、Torroni、 Paolo.、脜gotnes、 Thomas.、Boella、 Guido.、Torre、 Leon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Developments in Language Theory [electronic resource] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings

0
索取号：
作者：Mauri、 Giancarlo.、Leporati、 Alberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

0
索取号：
作者：Groce、 Alex.、Musuvathi、 Madanlal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mean Field Models for Spin Glasses [electronic resource] : Volume II: Advanced Replica-Symmetry and Low Temperature

0
索取号：
作者：Talagrand、 Michel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Security Protocols XVI [electronic resource] : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers

0
索取号：
作者：Christianson、 Bruce.、Malcolm、 James A.、Matyas、 Vashek.、Roe、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Numerical Analysis of Multiscale Problems [electronic resource]

0
索取号：
作者：Graham、 Ivan G.、Hou、 Thomas Y.、Lakkis、 Omar.、Scheichl、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advanced Information Systems Engineering Workshops [electronic resource] : CAiSE 2011 International Workshops, London, UK, June 20-24, 2011. Proceedings

0
索取号：
作者：Salinesi、 Camille.、Pastor、 Oscar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2011, Beijing, China, July 9, 2011. Proceedings

0
索取号：
作者：Chau、 Michael.、Wang、 G. Alan.、Zheng、 Xiaolong.、Chen、 Hsinchun.、Zeng、 Daniel.、Mao、 Wenji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Research and Education in Robotics - EUROBOT 2011 [electronic resource] : International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings

0
索取号：
作者：Obdr啪谩lek、 David.、Gottscheber、 Achim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.